Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
151	Dependent Vector Types for Data Structuring in Multirate FaustI Pierre Jouvelota,∗, Yann Orlareyb a CRI, Math´ematiques et syst`emes, MINES ParisTech, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-04-04 06:02:34 Electromagnetism FAUST Denotational semantics SIGNAL Digital-to-analog converter Clock signal Feedback Digital signal processing Electronic engineering Electronics
152	Combining Continuations with Other Effects ∗ M. Hyland P. B. Levy G. Plotkin & J. Power Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:45 Adjoint functors Functional programming Monoidal categories Monad Continuation Strong monad Monoid Tensor Denotational semantics Algebra Abstract algebra Category theory
153	DEPENDENT VECTOR TYPES FOR MULTIRATE FAUST Pierre Jouvelot CRI, Math´ematiques et syst`emes, MINES ParisTech ABSTRACT Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-24 04:53:45 Electronic design Electronic circuits Denotational semantics Logic in computer science FAUST Input impedance Electrical impedance Electronic filter Impedance matching Electronic engineering Electronics Electromagnetism
154	Dependent Vector Types for Data Structuring in Multirate FaustI Pierre Jouvelota,∗, Yann Orlareyb a CRI, Math´ematiques et syst`emes, MINES ParisTech, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-24 04:59:49 Electronic engineering FAUST Denotational semantics Signal Semantics Vector space Digital-to-analog converter Algebra Mathematics Digital signal processing
155	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
156	A UTP semantics for Circus Marcel Oliveira1 , Ana Cavalcanti2 , and Jim Woodcock2 1 Departamento 2 Department de Inform´ Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Logic in computer science Programming language semantics Process calculi Process calculus Denotational semantics Divergence Formal methods Ease Trace Computing Theoretical computer science Software engineering
157	Synthesizing Geometry Constructions Sumit Gulwani Vijay Anand Korthikanti ∗ Ashish Tiwari † Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-03-14 07:34:32 Models of computation Compass and straightedge constructions Algorithm Function Circle Lookup table Angle Denotational semantics C Geometry Mathematics Computing
158	A Veried Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P. Oliva Mitchell Wand wand@ ora.ccs.northeastern.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Programming language implementation PreScheme Scheme programming language Logic in computer science Programming language semantics Denotational semantics Compiler Scheme Programming language Software engineering Computing Programming language theory
159	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
160	Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-25 20:03:38 Data types Type theory Object-oriented programming Model theory C++ Type safety Type system Denotational semantics Subtype polymorphism Software engineering Computing Programming language theory

UPDATE